421. Semantics-directed compiler generation : proceedings of a Workshop, Aarhus, Denmark, January 1980

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Compilers )Computer programs(,Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
94

422. Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Compilers )Computer programs(,، Programming languages )Electronic computers( - Semantics

رده :
QA
1
.
L4
v
.
94

423. Semantics for concurrency : proceedings of the International BCS-FACS Workshop

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع: Parallel programming (Computer science) - Congresses,Programming languages (Electronic computers) - Semantics - Congresses

رده :
QA76
.
642
.
I56
1990

424. Semantics of type theory : correctness, Completeness and independence results

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory

رده :
QA
76
.
7
.
S85

425. Semantics of type theory : correctness, completeness, and independence results

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع: Programming languages (Electronic computers) - Semantics,Functional programming (Computer science),Type theory

رده :
QA76
.
7
.
S82
1991

426. Software engineerin

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع: Computer programming,Programming languages (Electronic computers),Electronic books., lcsh

رده :
QA
،
76
.
6
،.
M64
,
2010eb

427. Software engineering

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer programming.,Programming languages (Electronic computers)

رده :
QA76
.
6
.
M64
2010eb

428. Software engineering

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer programming.,Programming languages (Electronic computers)

رده :
QA76
.
6
.
M64
2010eb

429. Software engineering: developments

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming-- Addresses, essays, lectures,، Computer programs-- Addresses, essays, lectures,، Programming languages )Electronic computers(-- Addresses, essays, lectures

رده :
QA
76
.
6
.
S7

430. Software language engineering :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software-- Development.,Programming languages (Electronic computers),Software engineering.,Computer software-- Development.,Computer software-- Development.,Programming languages (Electronic computers),Programming languages (Electronic computers),Software engineering.,Software engineering.

رده :
QA76
.
7
.
K576
2009

431. Software language engineering. first international conference, SLE 2008, Toulouse, France, September 29-30, 2008 : revised selected papers

پدیدآورنده:

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)

موضوع: ، Programming languages )Electronic computers( Congresses,، Software engineering Congresses,، Computer software- Development Congresses

رده :
QA
76
.
7
.
S587
2008

432. Software programming languages

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Computer software,، Programming languages )Electronic computers(

رده :
QA
76
.
755
.
S66
1973

433. Software studies

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer software. ; Computers and civilization ; Encyclopedias. ; Programming languages (Electronic computers) ; Lexicography. ; Technology and the arts. ;

434. Software studies

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer software.,Computers and civilization--Encyclopedias,Programming languages (Electronic computers)--Lexicography,Technology and the arts.

رده :
QA
,
76
.
754
,.
S64723
,
2008

435. Source Code Analytics With Roslyn and JavaScript Data Visualization /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer programming.,Computer science.,Programming languages (Electronic computers),Software engineering.,Source code (Computer science),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.

رده :
QA76
.
754
.
M85
2016

436. Spiele effektiv programmieren

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.

437. Static analysis :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.

رده :
QA76
.
6
.
I5733
2012eb

438. Static analysis :

پدیدآورنده:

کتابخانه: کتابخانه دانشکده مطالعات جهان (دانشگاه تهران) (تهران)

موضوع: Computer programming,Programming languages (Electronic computers),Congresses.,Congresses.

رده :
QA76
.
6
.
I5733
2006

439. Static analysis

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer programming, Congresses,Programming languages (Electronic computers), Congresses

رده :
QA76
.
6
.
I5733
2009

440. Static analysis :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer programming, Congresses,Programming languages (Electronic computers), Congresses

رده :
QA76
.
6